Nuprl Definition : abs-val
11,40
postcript
pdf
|
x
| == if
x
<z 0 then -
x
else
x
fi
latex
Definitions
if
b
then
t
else
f
fi
,
i
<z
j
,
#$n
,
-
n
FDL editor aliases
abs-val
origin